Coherency in Distributed Shared Memory
نویسندگان
چکیده
We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations, remote direct memory access and OS bypass. This model leads to new interpretations of distributed algorithms allowing us to propose an innovative detection technique of race conditions only based on logical clocks. Indeed, the presence of (data) races in a parallel program makes it hard to reason about and is usually considered as a bug.
منابع مشابه
Concurrency and Coherency Control in Database Sharing Systems
Database sharing refers to a general architecture for distributed transaction and database processing. The nodes of a database sharing system are locally coupled via a high-speed interconnect and share the common database at the disk level ("shared disk"). We discuss system functions requiring new and coordinated solutions for database sharing. In particular, the most relevant alternatives for ...
متن کاملGeneCrunch and Europort
The SGI POWER CHALLENGEarray TM represents a hierarchical supercomputer because it combines distributed and shared memory technology. We present two projects, Europort and GeneCrunch, that took advantage of such a configuration. In Europort we performed scalability demonstrations up to 64 processors with applications relevant to the chemical and pharmaceutical industries. GeneCrunch, a project ...
متن کاملFault-Tolerance Using Cache-Coherent Distributed Shared Memory Systems
In this paper, we describe new protocols augmenting traditional cache coherency mechanisms to implement fault-tolerance based on Recovery Blocks and checkpointing. Concurrent processes compound rollback recovery since the rollback can potentially lead to a "domino-effect" whereby the process is rolled back to the beginning. Several approaches have been proposed to limit the domino effect. One s...
متن کاملA General Adaptive Cache Coherency-Replacement Scheme for Distributed Systems
We propose an adaptive cache coherence-replacement scheme for distributed systems that is based on several criteria about the system and applications, with the objective of optimizing the distributed cache system performance. We examine different distributed platforms (shared memory systems, distributed memory systems, and web proxy cache systems) and the potential of incorporating coherency-re...
متن کاملHierarchical Bit-Map Directory Schemes on the RDT Interconnection Network for a Massively Parallel Processor JUMP-1
JUMP-1 is currently under development by seven Japanese universities to establish techniques of an e cient distributed shared memory on a massively parallel processor. It provides a memory coherency control scheme called the hierarchical bit-map directory to achieve cost e ective and high performance management of the cache memory. Messages for maintaining cache coherency are transferred throug...
متن کاملHierarchical Coherency Management for Shared Virtual Memory Multicomputers
For many applications of scalable multicomputers with distributed memory it is desirable to provide transparent shared virtual memory. For such applications, the hardware and system software must maintain coherency among the local memories. Most existing coherency schemes for multicomputers manage memory uniformly at a single granularity of fixed size pages or cache blocks, leading to unnecessa...
متن کامل